Speeding Up The Byzantine Fault Diagnosis Using Symbolic Simulation
نویسنده
چکیده
Fault diagnosis is to predict the potential fault sites in a logic IC. In this paper, we particularly address the problem of diagnosing faults that exhibit the so-called Byzantine General’s phenomenon, in which a fault manifests itself as a non-logical voltage level at the fault site. Previously, explicit enumeration was suggested to deal with such a problem. However, it is often too time-consuming because the CPU time is exponentially proportional to fanout degree of the circuit under diagnosis. To speed up this process, we present an implicit enumeration technique using symbolic simulation. Experimental results show that the CPU time can be improved by several orders of magnitude for ISCAS85 benchmark circuits.
منابع مشابه
A Symbolic Inject-and-Evaluate Paradigm for Byzantine Fault Diagnosis
Fault diagnosis is to predict the potential fault sites in a logic IC. In this paper, we particularly address the problem of diagnosing faults that exhibit the so-called Byzantine General’s phenomenon, in which a fault manifests itself as a non-logical voltage level at the fault site. Previously, explicit enumeration was suggested to deal with such a problem. However, it is often too time-consu...
متن کاملDiagnosis Of Byzantine Open-Segment Faults
This paper addresses the problem of locating the stuckopen faults in a manufactured IC with scan flip-flops. Unlike most previous methods that only aim at identifying the faulty signals, our goal is to further narrow down the faults to a few suspected segments. With such a technique, the silicon inspection time could be dramatically slashed when the fault occurs to a long-running wire with a la...
متن کاملBeyond the Byzantine Generals: Unexpected Behaviour and Bridging Fault Diagnosis
Physical defects cause behaviors unmodeled by even the best fault simulators, which complicates predictive diagnosis. This paper reports on a diagnosis procedure that uses modi ed composite signatures constructed from single stuck-at information combined with a lexicographic matching and ranking algorithm. The diagnosis procedure is used to perform highquality bridging fault diagnosis for more ...
متن کاملBeyond the Byzantine Generals: Unexpected Behavior and Bridging Fault Diagnosis
Physical defects cause behaviors unmodeled by even the best fault simulators, which complicates predic-tive diagnosis. This paper reports on a diagnosis procedure that uses modiied composite signatures constructed from single stuck-at information combined with a lexicographic matching and ranking algorithm. The diagnosis procedure is used to perform high-quality bridging fault diagnosis for mor...
متن کاملA Diagnostic Fault Simulator for Fast Diagnosis of Bridge Faults
A new diagnostic fault simulator is described that diagnoses both feedback and nonfeedback bridge faults while using information from fault simulation of single stuck-at faults. A realistic fault model is used which considers the existence of the Byzantine Generals Problem. The approach has been demonstrated for two-line bridge faults on several large combinational benchmark circuits and has ac...
متن کامل